(declare-fun a () Int)
(declare-fun b () Bool)
(declare-fun c () Bool)
(declare-fun d () Bool)
(declare-fun e (Int) Int)
(declare-fun f () Bool)
(declare-fun g () Bool)
(assert (= (ite (= a 0) 0 (ite b 0 (ite c 0 (ite d 0 (ite g (ite f 1 0) 0))))) (e 0) a 1))
(check-sat)
